#include "cpu/exec/helper.h"
	
	make_helper(leave) {
	
		cpu.esp = cpu.ebp;
		cpu.ebp = swaddr_read(cpu.esp, 4);
		cpu.esp += 4;
	
		print_asm("leave");
		return 1;
	}